<!doctype html>
<html>
  <head>
    <title>HTTP Decision Diagram</title>
    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.css"></link>
    <script>
      // fix Chrome 48+
      // http://jointjs.com/blog/get-transform-to-element-polyfill.html
      SVGElement.prototype.getTransformToElement = SVGElement.prototype.getTransformToElement || function(toElement) {
          return toElement.getScreenCTM().inverse().multiply(this.getScreenCTM());
      };
    </script>
    <!-- <script src="http://coffeescript.org/extras/coffee-script.js"></script> -->
    <script src="coffee-script.js"></script>
    <!-- <script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.all.js"></script> -->
    <script src="joint.all.js"></script>
    <!-- <script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.shapes.fsa.js"></script> -->
    <script src="joint.shapes.fsa.js"></script>
    <script type="text/coffeescript" src="httpdd.fsm.html.coffee"></script>
  </head>
  <body style="margin:0">
    <div id="foreword" style="position:absolute; padding:5px; display:none">
      <button id="to_png">Open as PNG</button>
      <button id="to_jpeg">Open as JPEG</button>
      <button id="to_svg">Open as SVG</button>
    </div>
    <div id="paper" style="pointer-events: none"></div>
  </body>
</html>
